REPRESENTING THE PAIRWISE INTERSESSION NETWORK CODING BY HIGH LEVEL PETRI NETS
نویسندگان
چکیده
منابع مشابه
Putting high - level Petri nets
Petri nets exist for over 30 years. Especially in the last decade Petri nets have been put into practice extensively. Thanks to several useful extensions and the availability of computer tools, Petri nets have become a mature tool for modelling and analysing industrial systems. This paper describes an approach based on a high-level Petri net model, i.e. an extended version of the classical Petr...
متن کاملSlicing High-level Petri Nets
High-level Petri nets (evolutions of low-level Petri nets) are well suitable formalisms to represent complex data, which influence the behavior of distributed, concurrent systems. However, usual verification techniques such as model checking and testing remain an open challenge for both (i.e., low-level and high-level Petri nets) because of the state space explosion problem and test case select...
متن کاملRepresenting Closed CCS Systems by Petri Nets
This paper describes and proves a simple transformation of CCS composi tions into Petri nets Under certain conditions additional to the CCS syntax rules the resulting Petri nets are nite and ring of their transitions cor responds to handshakes in CCS compositions Such correspondence also holds between simultaneous ring of several transitions and multiple handshakes The transformation has proved...
متن کاملStochastic High-Level Petri Nets and Applications
A new class of stochastic Petri nets is proposed in this paper. The Stochastic High Level Petti nets [SHLPNs] are High Level Petti nets augmented with exponentially distributed firing times. The main advantage of modeling homogeneous systems using SHLPNs is that the resulting models are simpler, more intuitive and have a smaller number of states as our examples show.
متن کاملInterchangeable High-Level Time Petri Nets
We present a definition for a generic Time Petri net class covering most Time Petri net types known to the community. Due to the generic approach presented in this paper, the proposed syntax may as well be used as a proposal for an expression syntax of High-level Petri nets. Furthermore we present an implementation of translations between different Statically Timed Petri nets based on the prese...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Pure and Apllied Mathematics
سال: 2014
ISSN: 1311-8080,1314-3395
DOI: 10.12732/ijpam.v93i5.5